Symbolic simulation